a ::= B | a;
